Functional predicate - PDFSEARCH.IO - Document Search Engine

Functional predicate
Results: 59

#	Item
1	Interpolating Predicate and Functional Encryption from Learning With Errors Shweta Agrawal ∗ Add to Reading List Source URL: eprint.iacr.org - Date: 2016-09-22 05:13:43
2	Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2009-12-01 07:07:32 Linguistics Logic Grammar Syntax Semantics Predicate Argument Proposition Dependency grammar Quantifier Operator Clause
3	Grammatical functions: a problematic fundamental concept of LFG? Agnieszka Patejuk, Adam Przepiórkowski {aep,adamp}@ipipan.waw.pl Introduction While LFG emphasises that grammatical functions (GFs) are first-class lingui Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-06-01 06:38:32 Linguistics Syntax Grammar Semantics Generative linguistics Parts of speech Lexical functional grammar Theta role Grammatical relation Predicate Argument Head-driven phrase structure grammar
4	DEPARTMENT OF MATHEMATICS, UNIVERSITY OF TEXAS AT AUSTIN ADVICE FOR STUDENTS WRITING REPORTS, THESES AND DISSERTATIONS Written by Ward Cheney, incorporating suggestions from many sources. Version of May 24, 2000 The writ Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-24 09:25:50 Mathematics Mathematical analysis Analysis Functions and mappings Derivative Big O notation Function Fourier transform Theorem Limit of a function Functional predicate Fundamental theorem of calculus
5	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification
6	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
7	How not to distinguish arguments from adjuncts in LFG Adam Przepiórkowski I Introduction One of the conspicuous differences between LFG and HPSG concerns grammatical functions: while LFG assumes the Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-06-01 06:45:18 Semantics Grammar Generative linguistics Syntax Theta role Argument Lexical functional grammar Adjunct Glue semantics Predicate Valency Head-driven phrase structure grammar
8	Using a rich external valence dictionary with an implemented XLE/LFG grammar Agnieszka Patejuk Introduction This paper discusses how Walenty, an innovative valence dictionary of Polish, was used in an L Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-06-01 06:45:02 Semantics Syntax Grammar Parts of speech Lexical functional grammar Argument Valency Grammatical relation Noun phrase Predicate Verb Passive voice
9	LANGUAGE AND COGNITIVE PROCESSES, 1999, 14 (3), 225–248 Memory Limitations and Structural Forgetting: The Perception of Complex Ungrammatical Sentences as Grammatical Edward Gibson Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:59:09 Grammar Syntax Syntactic categories Parts of speech Semantics Clause Verb phrase Predicate Noun phrase Dependency grammar Lexical functional grammar Constituent
10	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier

UPDATE